- 2 402 202 книги
#1
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Tiziana Margaria, Bernhard SteffenКатегория: Компьютеры
13.00 Mb
#11
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Tiziana Margaria, Bernhard Steffen
8.98 Mb
#12
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Tiziana Margaria, Bernhard Steffen
9.82 Mb
#13
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Tiziana Margaria, Bernhard Steffen
13.99 Mb
#14
Leveraging applications of formal methods, verification and validation, 4 conf., ISOLA 2010, part II
Категория: Cs_Computer science, CsLn_Lecture notes
9.02 Mb
#15
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
Margaria, Tiziana; Steffen, BernhardКатегория: Cs_Computer science, CsLn_Lecture notes
8.96 Mb
#16
Wertpapieraufsichtsgesetz: Kommentar, 2. Auflage
Ernst Brandl, Gerhard Saria, Gerhard Saria, Brandl & Talos, Alexander Isola, Philipp Klausberger, Rene Kreisl, Andreas Link, Magdalena Ortner, Katharina Muther-Pradler, Christian Rapani, Daniela Sedlak
3.47 Mb
#17
Architect's Essentials of Cost Management (The Architect's Essentials of Professional Practice)
Michael D. Dell'Isola
5.52 Mb
#19
Value Engineering: Practical Applications...for Design, Construction, Maintenance and Operations (RSMeans)
Alphonse Dell'IsolaКатегория: Техника, Строительство
26.93 Mb
#73
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Tiziana Maragria, Bernhard Steffen
2.40 Mb
#74
Noncommutative Riemann Integration and Novikov-Shubin Invariants for Open Manifolds
Daniele Guido1 and Tommaso IsolaКатегория: Математика, calculus
285 Kb
